diving pools - German English Dictionary